Inferring Energy Bounds via Static Program Analysis and Evolutionary Modeling of Basic Blocks

The ever increasing number and complexity of energy-bound devices (such as the ones used in Internet of Things applications, smart phones, and mission critical systems) pose an important challenge on techniques to optimize their energy consumption and to verify that they will perform their function within the available energy budget. In this work we address this challenge from the software point of view and propose a novel parametric approach to estimating tight bounds on the energy consumed by program executions that are practical for their application to energy verification and optimization. Our approach divides a program into basic (branchless) blocks and estimates the maximal and minimal energy consumption for each block using an evolutionary algorithm. Then it combines the obtained values according to the program control flow, using static analysis, to infer functions that give both upper and lower bounds on the energy consumption of the whole program and its procedures as functions on input data sizes. We have tested our approach on (C-like) embedded programs running on the XMOS hardware platform. However, our method is general enough to be applied to other microprocessor architectures and programming languages. The bounds obtained by our prototype implementation can be tight while remaining on the safe side of budgets in practice, as shown by our experimental evaluation.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854). Improved version of the one presented at the HIP3ES 2016 workshop (v1): more experimental results (added benchmark to Table 1, added figure for new benchmark, added Table 3), improved Fig. 1, added Fig.

Barriers to flexible sigmoidoscopy colorectal cancer screening in low uptake socio-demographic groups: A systematic review.

OBJECTIVE: To synthesise qualitative evidence related to barriers and facilitators of flexible sigmoidoscopy screening (FSS) intention and uptake, particularly within low socio-demographic uptake groups. FSS uptake is lower amongst women, lower socio-economic status (SES), and Asian ethnic groups within the United Kingdom (UK) and United States of America. METHODS: A total of 12 168 articles were identified from searches of four databases: EMBASE, MEDLINE, PsycINFO and Web of Science. Eligibility criteria included: individuals eligible to attend FSS and empirical peer-reviewed studies that analysed qualitative data. The Critical Appraisal Skills Program tool evaluated the methodological quality of included studies, and thematic synthesis was used to analyse the data. RESULTS: Ten qualitative studies met the inclusion criteria. Key barriers to FSS intention and uptake centred upon procedural anxieties. Women, including UK Asian women, reported shame and embarrassment, anticipated pain, perforation risk, and test preparation difficulties to elevate anxiety levels. Religious and cultural-influenced health beliefs amongst UK Asian groups were reported to inhibit FSS intention and uptake. Competing priorities, such as caring commitments, particularly impeded women's ability to attend certain FSS appointments. The review identified a knowledge gap concerning factors especially associated with FSS participation amongst lower SES groups. CONCLUSIONS: Studies mostly focussed on barriers and facilitators of intention to participate in FSS, particularly within UK Asian groups. To determine the barriers associated with FSS uptake, and further understand how screening intention translates to behaviour, it is important that future qualitative research is equally directed towards factors associated with screening behaviour

Shallow water marine sediment bacterial community shifts along a natural CO2 gradient in the Mediterranean Sea off Vulcano, Italy.

The effects of increasing atmospheric CO(2) on ocean ecosystems are a major environmental concern, as rapid shoaling of the carbonate saturation horizon is exposing vast areas of marine sediments to corrosive waters worldwide. Natural CO(2) gradients off Vulcano, Italy, have revealed profound ecosystem changes along rocky shore habitats as carbonate saturation levels decrease, but no investigations have yet been made of the sedimentary habitat. Here, we sampled the upper 2 cm of volcanic sand in three zones, ambient (median pCO(2) 419 μatm, minimum Ω(arag) 3.77), moderately CO(2)-enriched (median pCO(2) 592 μatm, minimum Ω(arag) 2.96), and highly CO(2)-enriched (median pCO(2) 1611 μatm, minimum Ω(arag) 0.35). We tested the hypothesis that increasing levels of seawater pCO(2) would cause significant shifts in sediment bacterial community composition, as shown recently in epilithic biofilms at the study site. In this study, 454 pyrosequencing of the V1 to V3 region of the 16S rRNA gene revealed a shift in community composition with increasing pCO(2). The relative abundances of most of the dominant genera were unaffected by the pCO(2) gradient, although there were significant differences for some 5 % of the genera present (viz. Georgenia, Lutibacter, Photobacterium, Acinetobacter, and Paenibacillus), and Shannon Diversity was greatest in sediments subject to long-term acidification (>100 years). Overall, this supports the view that globally increased ocean pCO(2) will be associated with changes in sediment bacterial community composition but that most of these organisms are resilient. However, further work is required to assess whether these results apply to other types of coastal sediments and whether the changes in relative abundance of bacterial taxa that we observed can significantly alter the biogeochemical functions of marine sediments

The Unique Lipidomic Signatures of Saccharina latissima Can Be Used to Pinpoint Their Geographic Origin

The aquaculture of macroalgae for human consumption and other high-end applications is experiencing unprecedented development in European countries, with the brown algae Saccharina latissima being the flag species. However, environmental conditions in open sea culture sites are often unique, which may impact the biochemical composition of cultured macroalgae. The present study compared the elemental compositions (CHNS), fatty acid profiles, and lipidomes of S. latissima originating from three distinct locations (France, Norway, and the United Kingdom). Significant differences were found in the elemental composition, with Norwegian samples displaying twice the lipid content of the others, and significantly less protein (2.6%, while French and UK samples contained 6.3% and 9.1%, respectively). The fatty acid profiles also differed considerably, with UK samples displaying a lower content of n-3 fatty acids (21.6%), resulting in a higher n-6/n-3 ratio. Regarding the lipidomic profile, samples from France were enriched in lyso lipids, while those from Norway displayed a particular signature of phosphatidylglycerol, phosphatidylinositol, and phosphatidylcholine. Samples from the UK featured higher levels of phosphatidylethanolamine and, in general, a lower content of galactolipids. These differences highlight the influence of site-specific environmental conditions in the shaping of macroalgae biochemical phenotypes and nutritional value. It is also important to highlight that differences recorded in the lipidome of S. latissima make it possible to pinpoint specific lipid species that are likely to represent origin biomarkers. This finding is relevant for future applications in the field of geographic origin traceability and food controlpublishedVersio

Potential process 'hurdles' in the use of macroalgae as feedstock for biofuel production in the British Isles

This review examines the potential technical and energy balance hurdles in the production of seaweed biofuel, and particular for the MacroBioCrude processing pipeline for the sustainable manufacture of liquid hydrocarbon fuels from seaweed in the UK. The production of biofuel from seaweed is economically, energetically and technically challenging at scale. Any successful process appears to require both a method of preserving the seaweed for continuous feedstock availability and a method exploiting the entire biomass. Ensiling and gasification offer a potential solution to these two requirements. However there is need for more data particularly at a commercial scal

Exploring the equity of GP practice prescribing rates for selected coronary heart disease drugs: a multiple regression analysis with proxies of healthcare need

Background There is a small, but growing body of literature highlighting inequities in GP practice prescribing rates for many drug therapies. The aim of this paper is to further explore the equity of prescribing for five major CHD drug groups and to explain the amount of variation in GP practice prescribing rates that can be explained by a range of healthcare needs indicators (HCNIs). Methods The study involved a cross-sectional secondary analysis in four primary care trusts (PCTs 1–4) in the North West of England, including 132 GP practices. Prescribing rates (average daily quantities per registered patient aged over 35 years) and HCNIs were developed for all GP practices. Analysis was undertaken using multiple linear regression. Results Between 22–25% of the variation in prescribing rates for statins, beta-blockers and bendrofluazide was explained in the multiple regression models. Slightly more variation was explained for ACE inhibitors (31.6%) and considerably more for aspirin (51.2%). Prescribing rates were positively associated with CHD hospital diagnoses and procedures for all drug groups other than ACE inhibitors. The proportion of patients aged 55–74 years was positively related to all prescribing rates other than aspirin, where they were positively related to the proportion of patients aged >75 years. However, prescribing rates for statins and ACE inhibitors were negatively associated with the proportion of patients aged >75 years in addition to the proportion of patients from minority ethnic groups. Prescribing rates for aspirin, bendrofluazide and all CHD drugs combined were negatively associated with deprivation. Conclusion Although around 25–50% of the variation in prescribing rates was explained by HCNIs, this varied markedly between PCTs and drug groups. Prescribing rates were generally characterised by both positive and negative associations with HCNIs, suggesting possible inequities in prescribing rates on the basis of ethnicity, deprivation and the proportion of patients aged over 75 years (for statins and ACE inhibitors, but not for aspirin)

Mutations in FRMD7, a newly identified member of the FERM family, cause X-linked idiopathic congenital nystagmus

Idiopathic congenital nystagmus (ICN) is characterised by involuntary, periodic, predominantly horizontal, oscillations of both eyes. We identified 22 mutations in FRMD7 in 26 families with X-linked idiopathic congenital nystagmus. Screening of 42 ICN singleton cases (28 male, 14 females) yielded three mutations (7%). We found restricted expression of FRMD7 in human embryonic brain and developing neural retina suggesting a specific role in the control of eye movement and gaze stability

Responses of marine benthic microalgae to elevated CO<inf>2</inf>

Increasing anthropogenic CO2 emissions to the atmosphere are causing a rise in pCO2 concentrations in the ocean surface and lowering pH. To predict the effects of these changes, we need to improve our understanding of the responses of marine primary producers since these drive biogeochemical cycles and profoundly affect the structure and function of benthic habitats. The effects of increasing CO2 levels on the colonisation of artificial substrata by microalgal assemblages (periphyton) were examined across a CO2 gradient off the volcanic island of Vulcano (NE Sicily). We show that periphyton communities altered significantly as CO2 concentrations increased. CO2 enrichment caused significant increases in chlorophyll a concentrations and in diatom abundance although we did not detect any changes in cyanobacteria. SEM analysis revealed major shifts in diatom assemblage composition as CO2 levels increased. The responses of benthic microalgae to rising anthropogenic CO2 emissions are likely to have significant ecological ramifications for coastal systems. © 2011 Springer-Verlag